321. Proceedings of the 2004 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering : PASTE'04, June 7-8, 2004, Washington, DC, USA
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages and Special Interest Group on Software Engineering
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2004
322. Proceedings of the 2001 ACM SIGPLAN--SIGSOFT Workshop on Program Analysis for Software Tools and Engineering: PASTE'01: Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software-- Development
رده :
QA
76
.
758
.
A345
2001
323. Proceedings of the 2001 ACM SIGPLAN - SIGSOFT Workshop on Program Analysis for Software Tools and Engineering PASTE'01, Snowbird, Utah, USA, June 18-19, 2001
پدیدآورنده : sponsored by the Association for Computing Machinery, Special Interest Group on Programming Languages, and Special Interest Group on Software Engineering
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
P28
2001
324. Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments : Boston, Massachusetts, November 28-30, 1988
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Software engineering-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
7
.
S54
vol
.
24
,
no
.
2
325. Proceedings of the Third International Scientific Conference "Intelligent Information Technologies for Industry" (IITI'18) :
پدیدآورنده : edited by Ajith Abraham, Sergey Kovalev, Valery Tarassov, Vaclav Snasel, Andrey Sukhanov.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence-- Industrial applications, Congresses.,Artificial intelligence.,Engineering.,Industrial engineering.
رده :
TS176
.
I582
2018
326. Proceedings of the first International Workshop on Model-Driven Interoperability (MDI 2010)
پدیدآورنده : editors Jean Bézivin, Richard Mark Soley, Antonio Vallecillo.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development, Congresses.,Model-driven software architecture, Congresses.
327. Proceedings of the 2nd International Conference on Green Communications and Networks 2012 (GCN 2012). Volume 5
پدیدآورنده : Yuhang Yang, Maode Ma, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks -- Congresses.,TECHNOLOGY & ENGINEERING -- Telecommunications.,Telecommunication systems -- Congresses.
328. Proceedings of the 23th International Conference on Software Engineering, ICSE 2001, 12-19 May 2001, Toronto, Ontario, Canada
پدیدآورنده :
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development
رده :
QA
76
.
758
.
I5
2001
329. Proceedings : shortening the path from specification to prototype
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، System design-- Congresses,، Computer software-- Development-- Congresses
رده :
QA
76
.
9
.
S88
.
I583
330. Product-Focused Software Process Improvement
پدیدآورنده : \ [edited by] Pekka Abrahamsson...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Software engineering -- Congresses.,Computer software -- Development -- Congresses,Computer software -- Development -- Management -- Congresses.,نرم‌افزار -- مهندسی-- کنگره‌ها ,نرم‌افزار -- تولید -- کنگره ها ,نرم‌افزار -- تولید -- مدیریت -- کنگره ها
رده :
QA
76
.
758
.
P7
2015
E-Book
,
331. Product-focused software process improvement :
پدیدآورنده : Marco Kuhrmann, Kurt Schneider, Dietmar Pfahl, Sousuke Amasaki, Marcus Ciolkowski, Regina Hebig, Paolo Tell, Jil Klünder, Steffen Küpper (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Development-- Management, Congresses.,Computer software-- Development, Congresses.,Software engineering, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer programming-- software development.,Computer software-- Development-- Management.,Computer software-- Development.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Computers-- Systems Architecture-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
رده :
QA76
.
758
.
P76
2018eb
332. Product focused software process improvement : 6th International Conference, PROFES 2005, Oulu, Finland, June 13-15, 2005; proceedings
پدیدآورنده : Frank Bomarius, Seija Komi-Sirvio )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Software engineering,Congresses ، Computer software -- Development,Quality control -- Congresses ، Computer software
رده :
QA
76
.
L28
Vol
.
3547
333. Program analysis and compilation, theory and practice :
پدیدآورنده : Thomas Reps, Mooly Sagiv, Jörg Bauer (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wilhelm, R., (Reinhard),1946-,Wilhelm, R., (Reinhard),1946-,Wilhelm, R.,1946-,Compilers (Computer programs), Congresses.,Computer programming, Congresses.,Computer programs-- Verification, Congresses.,Compilers (Computer programs),Compilers (Computer programs),Computer programming.,Computer programming.,Computer programs-- Verification.,Computer programs-- Verification.,COMPUTERS-- Software Development & Engineering-- Quality Assurance & Testing.,Informatique.
رده :
QA76
.
76
.
V47
P745
2007
334. Programmiersprachen und Programmentwicklung :
پدیدآورنده : herausgegeben von Hans Wössner.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Computer programming.,Programming languages (Electronic computers) -- Congresses.
رده :
QA76
.
7
H473
1982
335. Programming languages :
پدیدآورنده : André Rauber Du Bois, Phil Trinder (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Programming languages (Electronic computers), Congresses
رده :
QA76
.
7
.
B73
2013
336. Programming languages and systems :
پدیدآورنده : Sukyoung Ryu (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.,Artificial intelligence.,Computer programming-- software development.,Computer programming.,Computer science.,Computers-- Computer Science.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Programming & scripting languages: general.,Programming languages (Electronic computers),Software Engineering.,Systems analysis & design.
رده :
QA76
.
7
337. Progress in computing, analytics and networking :
پدیدآورنده : Prasant Kumar Pattnaik, Siddharth Swarup Rautaray, Himansu Das, Janmenjoy Nayak, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Cloud computing, Congresses.,Computer networks, Congresses.,Cloud computing.,Computer networks.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.
رده :
TK5105
.
5
338. Project e-society :
پدیدآورنده : edited by Reima Suomi [and others]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronic commerce, Congresses.,Information society, Congresses.
339. Proof technology and computation /
پدیدآورنده : edited by Helmut Schwichtenberg and Katharina Spies.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses.,Computer programming, Congresses.,Computer software-- Development, Congresses.,Automatic theorem proving.,Computer programming.,Computer software-- Development.,COMPUTERS-- Expert Systems.
رده :
QA76
.
9
.
A96
N38
2003eb
340. Provable security :
پدیدآورنده : Joonsang Baek, Willy Susilo, Jongkil Kim (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Data encryption (Computer science), Congresses.,Data protection, Congresses.,Computer Systems Organization and Communication Networks.,Computing Milieux.,Cryptology.,Data Structures and Information Theory.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Computer networking & communications.,Computer security.,Computers-- Hardware-- General.,Computers-- Information Theory.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Data encryption (Computer science),Data encryption.,Data protection.,Information technology: general issues.,Software Engineering.
رده :
QA76
.
9
.
A25
